\begin{tabbing}
$\forall$$A$,$B$:es\_realizer\{i:l\}.
\\[0ex]($\forall$$i$:Id. $\neg$(($\uparrow$R{-}has{-}loc($A$; $i$)) $\wedge$ ($\uparrow$R{-}has{-}loc($B$; $i$))))
\\[0ex]$\Rightarrow$ R{-}icompat($A$; $B$)
\\[0ex]$\Rightarrow$ R{-}compat\=\{i:l\}\+
\\[0ex]($A$; $B$)
\-
\end{tabbing}